Game representations of classes of piecewise definable functions
نویسنده
چکیده
We present a general way of defining various reduction games on ω which “represent” corresponding topologically defined classes of functions. In particular, we will show how to construct games for piecewise defined functions, for functions which are pointwise limit of certain sequences of functions and for Γ-measurable functions. These games turn out to be useful as a combinatorial tool for the study of general reducibilities for subsets of the Baire space [10].
منابع مشابه
Zeta Functions from Definable Equivalence Relations
We prove that the theory of the p-adics Qp, together with a set of explicitly given sorts, admits elimination of imaginaries. Using p-adic integration, we deduce the rationality of certain formal zeta functions arising from definable equivalence relations. As an application, we prove rationality results for zeta functions obtained by counting isomorphism classes of irreducible representations o...
متن کاملAn approximate Herbrand's theorem and definable functions in metric structures
We develop a version of Herbrand’s theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable functions in Hilbert spaces expanded by a group of generic unitary operators and Hilbert spaces expanded by a generic subspace. We also show how Herbrand’s theor...
متن کاملHYBRID FUNCTIONS APPROACH AND PIECEWISE CONSTANT FUNCTION BY COLLOCATION METHOD FOR THE NONLINEAR VOLTERRA-FREDHOLM INTEGRAL EQUATIONS
In this work, we will compare two approximation method based on hybrid Legendre andBlock-Pulse functions and a computational method for solving nonlinear Fredholm-Volterraintegral equations of the second kind which is based on replacement of the unknown functionby truncated series of well known Block-Pulse functions (BPfs) expansion
متن کاملPiecewise cubic interpolation of fuzzy data based on B-spline basis functions
In this paper fuzzy piecewise cubic interpolation is constructed for fuzzy data based on B-spline basis functions. We add two new additional conditions which guarantee uniqueness of fuzzy B-spline interpolation.Other conditions are imposed on the interpolation data to guarantee that the interpolation function to be a well-defined fuzzy function. Finally some examples are given to illustrate the...
متن کاملLocally polynomially bounded structures
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise im...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 57 شماره
صفحات -
تاریخ انتشار 2011